Invertibility of Functional Galois Connections
نویسندگان
چکیده
a INRIA, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, France. E-mail: [email protected] b INRIA, Domaine de Voluceau, B.P. 105, 78153 Le Chesnay Cedex, France. E-mail: [email protected] c Dep. of Computing and Mathematics, Nottingham Trent University, Burton Street, Nottingham, NG1 4BU, UK, and Institute for Information Transmission Problems of Russian Academy of Science, Moscow. E-mail: [email protected]
منابع مشابه
Set Coverings and Invertibility of Functional Galois Connections
We consider equations of the form Bf = g, where B is a Galois connection between lattices of functions. This includes the case where B is the Fenchel transform, or more generally a Moreau conjugacy. We characterize the existence and uniqueness of a solution f in terms of generalized subdifferentials, which extends K. Zimmermann’s covering theorem for max-plus linear equations, and give various ...
متن کاملLagois Connections - a Counterpart to Galois Connections
In this paper we deene a Lagois connection, which is a generalization of a special type of Galois connection. We begin by introducing two examples of Lagois connections. We then recall the deenition of Galois connection and some of its properties; next we deene Lagois connection, establish some of its properties, and compare these with properties of Galois connections; and then we (further) dev...
متن کاملFuzzy Galois Connections
The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided. 1...
متن کاملSome Invertibility Results for Lindemann, Borel Triangles
Let Z ∼= e be arbitrary. Recently, there has been much interest in the characterization of sets. We show that |W̃ | ≥ i. In [15], the authors characterized lines. A central problem in homological Galois theory is the description of categories.
متن کاملA Calculational Approach to Control-Flow Analysis by Abstract Interpretation
We present a derivation of a control-flow analysis by abstract interpretation. Our starting point is a transition system semantics defined as an abstract machine for a small functional language in continuation-passing style. We obtain a Galois connection for abstracting the machine states by composing Galois connections, most notable an independent-attribute Galois connection on machine states ...
متن کامل